Correlating automatic static analysis and mutation testing: towards incremental strategies
نویسندگان
چکیده
منابع مشابه
Towards Incremental Mutation Testing
Proponents of Agile development processes claim that adhering to Agile principles leads to the delivery of high quality code in evolutionary increments. Confidence in resulting systems is mostly gained through the use of unit test suites, entrusted to catch regressions as soon as they occur. Consequently, the system can only be as trustworthy as its tests, meaning that measurements of the tests...
متن کاملStrong mutation testing strategies
The full-text may be used and/or reproduced, and given to third parties in any format or medium, without prior permission or charge, for personal research or study, educational, or not-for-pro t purposes provided that: • a full bibliographic reference is made to the original source • a link is made to the metadata record in Durham E-Theses • the full-text is not changed in any way The full-text...
متن کاملTowards Automated Mutation Testing
Mutation testing is a fault based testing technique used to find the effectiveness of test cases. It is a powerful and computationally expensive technique to find the adequacy of test cases. One of the major disadvantages of mutation testing is compiling and executing the faulty versions of the original programs (called mutants) with all the provided test cases. Hence this process should be aut...
متن کاملAutomatic Evolutionary GUI Testing Assisted by Static Analysis
Graphical User Interfaces (GUIs) are the primary interaction interface between software and a human user, ubiquitous in today’s software applications. Simultaneously to the complexity, the testing effort of GUIs enhanced drastically in the last decades. A major problem of GUI test automation is the requirement of a test oracle, verifying the automatic generated tests against a specification of ...
متن کاملTowards Incremental Analysis
As the size of a formal model increases, state space analysis becomes more complex in terms of time or space or both. This complexity means that state space analysis of a formal model is often practically impossible, even for a modest sized system. Recently techniques to reduce the complexity have done so by taking advantage of the structure built into the model by the designer (e.g. [16]). In ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Software Engineering Research and Development
سال: 2016
ISSN: 2195-1721
DOI: 10.1186/s40411-016-0031-8